home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / swingall.jar / javax / swing / text / html / CSS$Attribute.class (.txt) < prev    next >
Encoding:
Java Class File  |  1999-07-15  |  5.5 KB  |  84 lines
  1. package javax.swing.text.html;
  2.  
  3. public final class CSS$Attribute {
  4.    private String name;
  5.    private String defaultValue;
  6.    private boolean inherited;
  7.    public static final CSS$Attribute BACKGROUND = new CSS$Attribute("background", (String)null, false);
  8.    public static final CSS$Attribute BACKGROUND_ATTACHMENT = new CSS$Attribute("background-attachment", "scroll", false);
  9.    public static final CSS$Attribute BACKGROUND_COLOR = new CSS$Attribute("background-color", "transparent", false);
  10.    public static final CSS$Attribute BACKGROUND_IMAGE = new CSS$Attribute("background-image", "none", false);
  11.    public static final CSS$Attribute BACKGROUND_POSITION = new CSS$Attribute("background-position", (String)null, false);
  12.    public static final CSS$Attribute BACKGROUND_REPEAT = new CSS$Attribute("background-repeat", "repeat", false);
  13.    public static final CSS$Attribute BORDER = new CSS$Attribute("border", (String)null, false);
  14.    public static final CSS$Attribute BORDER_BOTTOM = new CSS$Attribute("border-bottom", (String)null, false);
  15.    public static final CSS$Attribute BORDER_BOTTOM_WIDTH = new CSS$Attribute("border-bottom-width", "medium", false);
  16.    public static final CSS$Attribute BORDER_COLOR = new CSS$Attribute("border-color", (String)null, false);
  17.    public static final CSS$Attribute BORDER_LEFT = new CSS$Attribute("border-left", (String)null, false);
  18.    public static final CSS$Attribute BORDER_LEFT_WIDTH = new CSS$Attribute("border-left-width", "medium", false);
  19.    public static final CSS$Attribute BORDER_RIGHT = new CSS$Attribute("border-right", (String)null, false);
  20.    public static final CSS$Attribute BORDER_RIGHT_WIDTH = new CSS$Attribute("border-right-width", "medium", false);
  21.    public static final CSS$Attribute BORDER_STYLE = new CSS$Attribute("border-style", "none", false);
  22.    public static final CSS$Attribute BORDER_TOP = new CSS$Attribute("border-top", (String)null, false);
  23.    public static final CSS$Attribute BORDER_TOP_WIDTH = new CSS$Attribute("border-top-width", "medium", false);
  24.    public static final CSS$Attribute BORDER_WIDTH = new CSS$Attribute("border-width", "medium", false);
  25.    public static final CSS$Attribute CLEAR = new CSS$Attribute("clear", "none", false);
  26.    public static final CSS$Attribute COLOR = new CSS$Attribute("color", (String)null, true);
  27.    public static final CSS$Attribute DISPLAY = new CSS$Attribute("display", "block", false);
  28.    public static final CSS$Attribute FLOAT = new CSS$Attribute("float", "none", false);
  29.    public static final CSS$Attribute FONT = new CSS$Attribute("font", (String)null, true);
  30.    public static final CSS$Attribute FONT_FAMILY = new CSS$Attribute("font-family", (String)null, true);
  31.    public static final CSS$Attribute FONT_SIZE = new CSS$Attribute("font-size", "medium", true);
  32.    public static final CSS$Attribute FONT_STYLE = new CSS$Attribute("font-style", "normal", true);
  33.    public static final CSS$Attribute FONT_VARIANT = new CSS$Attribute("font-variant", "normal", true);
  34.    public static final CSS$Attribute FONT_WEIGHT = new CSS$Attribute("font-weight", "normal", true);
  35.    public static final CSS$Attribute HEIGHT = new CSS$Attribute("height", "auto", false);
  36.    public static final CSS$Attribute LETTER_SPACING = new CSS$Attribute("letter-spacing", "normal", true);
  37.    public static final CSS$Attribute LINE_HEIGHT = new CSS$Attribute("line-height", "normal", true);
  38.    public static final CSS$Attribute LIST_STYLE = new CSS$Attribute("list-style", (String)null, true);
  39.    public static final CSS$Attribute LIST_STYLE_IMAGE = new CSS$Attribute("list-style-image", "none", true);
  40.    public static final CSS$Attribute LIST_STYLE_POSITION = new CSS$Attribute("list-style-position", "outside", true);
  41.    public static final CSS$Attribute LIST_STYLE_TYPE = new CSS$Attribute("list-style-type", "disc", true);
  42.    public static final CSS$Attribute MARGIN = new CSS$Attribute("margin", (String)null, false);
  43.    public static final CSS$Attribute MARGIN_BOTTOM = new CSS$Attribute("margin-bottom", "0", false);
  44.    public static final CSS$Attribute MARGIN_LEFT = new CSS$Attribute("margin-left", "0", false);
  45.    public static final CSS$Attribute MARGIN_RIGHT = new CSS$Attribute("margin-right", "0", false);
  46.    public static final CSS$Attribute MARGIN_TOP = new CSS$Attribute("margin-top", "0", false);
  47.    public static final CSS$Attribute PADDING = new CSS$Attribute("padding", (String)null, false);
  48.    public static final CSS$Attribute PADDING_BOTTOM = new CSS$Attribute("padding-bottom", "0", false);
  49.    public static final CSS$Attribute PADDING_LEFT = new CSS$Attribute("padding-left", "0", false);
  50.    public static final CSS$Attribute PADDING_RIGHT = new CSS$Attribute("padding-right", "0", false);
  51.    public static final CSS$Attribute PADDING_TOP = new CSS$Attribute("padding-top", "0", false);
  52.    public static final CSS$Attribute TEXT_ALIGN = new CSS$Attribute("text-align", (String)null, true);
  53.    public static final CSS$Attribute TEXT_DECORATION = new CSS$Attribute("text-decoration", "none", true);
  54.    public static final CSS$Attribute TEXT_INDENT = new CSS$Attribute("text-indent", "0", true);
  55.    public static final CSS$Attribute TEXT_TRANSFORM = new CSS$Attribute("text-transform", "none", true);
  56.    public static final CSS$Attribute VERTICAL_ALIGN = new CSS$Attribute("vertical-align", "baseline", false);
  57.    public static final CSS$Attribute WORD_SPACING = new CSS$Attribute("word-spacing", "normal", true);
  58.    public static final CSS$Attribute WHITE_SPACE = new CSS$Attribute("whitespace", "normal", true);
  59.    public static final CSS$Attribute WIDTH = new CSS$Attribute("width", "auto", false);
  60.    static final CSS$Attribute[] allAttributes;
  61.  
  62.    static {
  63.       allAttributes = new CSS$Attribute[]{BACKGROUND, BACKGROUND_ATTACHMENT, BACKGROUND_COLOR, BACKGROUND_IMAGE, BACKGROUND_POSITION, BACKGROUND_REPEAT, BORDER, BORDER_BOTTOM, BORDER_BOTTOM_WIDTH, BORDER_COLOR, BORDER_LEFT, BORDER_LEFT_WIDTH, BORDER_RIGHT, BORDER_RIGHT_WIDTH, BORDER_STYLE, BORDER_TOP, BORDER_TOP_WIDTH, BORDER_WIDTH, CLEAR, COLOR, DISPLAY, FLOAT, FONT, FONT_FAMILY, FONT_SIZE, FONT_STYLE, FONT_VARIANT, FONT_WEIGHT, HEIGHT, LETTER_SPACING, LINE_HEIGHT, LIST_STYLE, LIST_STYLE_IMAGE, LIST_STYLE_POSITION, LIST_STYLE_TYPE, MARGIN, MARGIN_BOTTOM, MARGIN_LEFT, MARGIN_RIGHT, MARGIN_TOP, PADDING, PADDING_BOTTOM, PADDING_LEFT, PADDING_RIGHT, PADDING_TOP, TEXT_ALIGN, TEXT_DECORATION, TEXT_INDENT, TEXT_TRANSFORM, VERTICAL_ALIGN, WORD_SPACING, WHITE_SPACE, WIDTH};
  64.    }
  65.  
  66.    private CSS$Attribute(String var1, String var2, boolean var3) {
  67.       this.name = var1;
  68.       this.defaultValue = var2;
  69.       this.inherited = var3;
  70.    }
  71.  
  72.    public String getDefaultValue() {
  73.       return this.defaultValue;
  74.    }
  75.  
  76.    public boolean isInherited() {
  77.       return this.inherited;
  78.    }
  79.  
  80.    public String toString() {
  81.       return this.name;
  82.    }
  83. }
  84.